линейная темпоральная логика

См. также в других словарях:

• Параллелизм (компьютерные науки) — У этого термина существуют и другие значения, см. Параллелизм. «Проблема обедающих философов» классическая проблема с параллелизмом и разделяемыми ресурсами …   Википедия

• Модель Крипке — (англ. Kripke structure) это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при проверке моделeй для представления поведения системы. Модель Крипке является простой… …   Википедия

• Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия